Merge pull request #1545 from npoushin/integration
authorSoby Mathew <soby.mathew@arm.com>
Thu, 30 Aug 2018 04:37:32 +0000 (05:37 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Aug 2018 04:37:32 +0000 (05:37 +0100)
maintainers: Update maintainer for sgi/sgm platforms


Trivial merge